Automative Reliability

Sustainable context-aware programming for automative applications

The content of a vehicle consists mainly of mechanical and electronic components. However software becomes an increasingly important part of future vehicles. The software side of Intelligent Transport Systems (ITS) is part of the international road safety strategy to improve the mobility, comfort and safety of road users. Road crashes cost Australia $15 billion a year and 95% of these crashes a...

Using HYTECH to Verify an Automative Control System

This paper shows how HyTech a symbolic model checker for linear hybrid systems can be used to verify a part of an abstracted automotive control system The system controls the height of an automo bile by a pneumatic suspension system and has been proposed by BMW AG as a case study taken from a current industrial development For a system which controls one wheel we verify safety properties such a...

Automative Multi Classifier Framework for Medical Image Analysis

Medical image processing is the technique used to create images of the human body for medical purposes. Nowadays, medical image processing plays a major role and a challenging solution for the critical stage in the medical line. Several researches have done in this area to enhance the techniques for medical image processing. However, due to some demerits met by some advanced technologies, there...

The World Automative Industry in Transition: A Framework for Projection into the 21st Century

Coarse Estimation of Physical Parameters of Eclipsing Binaries by Means of Automative Scripting

Because of GAIA’s estimated harvest of ∼ 10 eclipsing binaries (Munari et al. 2001) automative procedures for extracting physical parameters from observations must be introduced. We present preliminary results of automative scripting applied to 5 eclipsing binaries, for which photometric and radial velocity observations were taken from literature. Although the results are encouraging, extensive...